Solid Modelling in Haskell

نویسنده

Duncan C. Sinclair

چکیده

We investigate the suitability of the functional model of programming as applied to the solid modelling eld of 3D rendering, with particular reference to expressiveness and e ciency. We nd that functional languages with a good implementation can be more e cient than other languages in certain aspects in the rendering process. Furthermore, recent developments in functional languages allow di cult concepts to be expressed simply within programs, and allow easier expression of the models we wish to render.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Embedding a Functional Hybrid Modelling Language in Haskell

In this paper we present the first investigation into the implementation of a Functional Hybrid Modelling language for non-causal modelling and simulation of physical systems. In particular, we present a simple way to handle connect constructs: a facility for composing model fragments present in some form in most non-causal modelling languages. Our implementation is realised as a domain-specifi...

متن کامل

Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation

Alvis is a formal modelling language for concurrent systems with the following advantages: a graphical modelling language used to define interconnections among agents, a high level programming language used to define the behaviour of agents and the possibility of a formal model verification. An Alvis model semantics find expression in an LTS graph (labelled transition system). Execution of any ...

متن کامل

DEMO — A Demo of Epistemic Modelling

This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic [22, 2, 3, 1] to PDL given in [17] and pres...

متن کامل

Modelling Homogeneous Generative Meta-Programming

Homogeneous generative meta-programming (HGMP) enables the generation of program fragments at compile-time or run-time. We present a foundational calculus which can model both compile-time and run-time evaluated HGMP, allowing us to model, for the first time, languages such as Template Haskell. The calculus is designed such that it can be gradually enhanced with the features needed to model man...

متن کامل